Free shipping on all orders! No minimum purchase required.
Types for Proofs and Programs
by H. Barendregt (Editor), T. Nipkow (Editor)
